Dynamic of Argumentation Frameworks
نویسنده
چکیده
My thesis work aims to study change operations for argumentation systems, especially for abstract argumentation systems à la Dung. This paper presents a first study of the AGM revision adapted to the case of argumentation. We also sketch future research works planned to complete the one already achieved.
منابع مشابه
Formal Analysis of Dialogues on Infinite Argumentation Frameworks
The paper analyses multi-agent strategic dialogues on possibly infinite argumentation frameworks. We develop a formal model for representing such dialogues, and introduce FOA-ATL, a first-order extension of alternating-time logic, for expressing the interplay of strategic and argumentation-theoretic properties. This setting is investigated with respect to the model checking problem, by means of...
متن کاملEfficient Computation of Extensions for Dynamic Abstract Argumentation Frameworks: An Incremental Approach
Abstract argumentation frameworks (AFs) are a well-known formalism for modelling and deciding many argumentation problems. Computational issues and evaluation algorithms have been deeply investigated for static AFs, whose structure does not change over the time. However, AFs are often dynamic as a consequence of the fact that argumentation is inherently dynamic.argumentation frameworks (AFs) ar...
متن کاملRevision of Abstract Dialectical Frameworks : Preliminary Report ∗
Abstract Dialectical Frameworks (ADFs) enhance the capability of Dung’s argumentation frameworks by modelling relations between arguments in a flexible way, thus constituting a very general formalism for abstract argumentation. Since argumentation is an inherently dynamic process, understanding how change in ADFs can be formalized is important. In this work we study AGM-style revision operators...
متن کاملCharacterizing Strong Equivalence for Argumentation Frameworks
Since argumentation is an inherently dynamic process, it is of great importance to understand the effect of incorporating new information into given argumentation frameworks. In this work, we address this issue by analyzing equivalence between argumentation frameworks under the assumption that the frameworks in question are incomplete, i.e. further information might be added later to both frame...
متن کاملVoronoi diagrams for automated argumentations among Internet of Things
This work introduces a novel approach to display and arbitration of machine to machine abstract argumentation for Internet of Things devices, which does not require human intervention. The proposed model is a hybrid between weighted Dung style argumentation frameworks and competitive facility placement Voronoi games. It can accommodate weights of arguments and attack relations to depict weighte...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013